#include <stdlib.h>

#include <debug.h>
#include <os_api.h>

int main()
{
    UINT32 count = 0;

    while (1)
    {
        sleep(3); // 3 seconds
        count++;
        LOG_PRINTF("%u: Hello OpenCPU!", count);
    }

    return 0;
}
